convert char into int